首页> 外文OA文献 >Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities

【2h】

Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities

机译：具有动态优先级的嵌入式实时并发软件的静态分析

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Miné, Antoine;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities [J] . Antoine Miné Electronic Notes in Theoretical Computer Science . 2017,第2期

机译：具有动态优先级的嵌入式实时并发软件的静态分析
2. Static priority scheduling of event-triggered real-time embedded systems [J] . Cagkan Erbas, Andy D. Pimentel, Selin Cerav-Erbas Formal Methods in System Design . 2007,第1期

机译：事件触发的实时嵌入式系统的静态优先级调度
3. Static priority scheduling of event-triggered real-time embedded systems [J] . Cagkan Erbas, Andy D. Pimentel, Selin Cerav-Erbas Formal Methods in System Design . 2007,第1期

机译：事件触发的实时嵌入式系统的静态优先级调度
4. Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software [C] . Miné Antoine, Delmas David International conference on embedded software . 2015

机译：致力于声音静态分析的工业应用，以验证并发嵌入式航空电子软件
5. Analysis of static and dynamic memory management schemes in embedded systems utilizing software-managed memory [D] . Akcaman, Muberra N. 2015

机译：利用软件管理内存的嵌入式系统静态和动态内存管理方案分析
6. Applying Dynamic Priority Scheduling Scheme to Static Systems of Pinwheel Task Model in Power-Aware Scheduling [O] . Ye-In Seol, Young-Kuk Kim -1

机译：动态优先级调度方案在动力感知型风车任务模型静态系统中的应用
7. Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities [O] . Miné, Antoine 2016

机译：具有动态优先级的嵌入式实时并发软件的静态分析

Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅